Operations on Weakly Recognizing Morphisms
نویسندگان
چکیده
Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of ω-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is accepted by some Büchi automaton. We consider the descriptional complexity of various constructions for weakly recognizing morphisms. This includes the conversion from and to Büchi automata, the conversion into strongly recognizing morphisms, and complementation. For some problems, we are able to give more precise bounds in the case of binary alphabets or simple semigroups.
منابع مشابه
Efficient Algorithms for Morphisms over Omega-Regular Languages
Morphisms to finite semigroups can be used for recognizing omega-regular languages. The socalled strongly recognizing morphisms can be seen as a deterministic computation model which provides minimal objects (known as the syntactic morphism) and a trivial complementation procedure. We give a quadratic-time algorithm for computing the syntactic morphism from any given strongly recognizing morphi...
متن کاملHarmonic Morphisms with 1-dim Fibres on 4-dim Einstein Manifolds
Harmonic morphisms are smooth maps between Riemannian manifolds which preserve Laplace's equation. They are characterised as harmonic maps which are horizontally weakly conformal 14, 20]. R.L. Bryant 7] proved that there are precisely two types of harmonic morphisms with one-dimensional bres which can be deened on a constant curvature space of dimension at least four. Here we prove that, on an ...
متن کاملOn Quasiperiodic Morphisms
Weakly and strongly quasiperiodic morphisms are tools introduced to study quasiperiodic words. Formally they map respectively at least one or any non-quasiperiodic word to a quasiperiodic word. Considering them both on finite and infinite words, we get four families of morphisms between which we study relations. We provide algorithms to decide whether a morphism is strongly quasiperiodic on fin...
متن کاملHarmonic Morphisms from Three-dimensional Euclidean and Spherical Space Forms
This paper gives a description of all harmonic morphisms from a threedimensional non-simply-connected Euclidean and spherical space form to a surface, by extending the work of Baird-Wood [4, 5] who dealt with the simply-connected case; namely we show that any such harmonic morphism is the composition of a “standard” harmonic morphism and a weakly conformal map. To complete the description we li...
متن کاملGENERIC MORPHISMS, PARAMETRIC REPRESENTATIONS AND WEAKLY CARTESIAN MONADS Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday
Two notions, generic morphisms and parametric representations, useful for the analysis of endofunctors arising in enumerative combinatorics, higher dimensional category theory, and logic, are defined and examined. Applications to the Batanin approach to higher category theory, Joyal species and operads are provided.
متن کامل